#include <linux/sched.h>

static inline void sched_submit_work(struct task_struct *tsk)
{
}
